linear programming problem formulation